Nuprl Definition : mk_dset 13,42
mk_dset(T, eq) == <T, eq, eq> 
latex

Upsets 1
Wellformedness Lemmasmk dset wf

origin